\begin{tabbing}
es{-}bact\=\{i:l\}\+
\\[0ex](${\it ds}$; ${\it da}$; $a$; ${\it es}$; $n$; $e_{1}$; $e_{2}$)
\-\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=Case \=TERMOF\{decidable\_\_ecl{-}es{-}act:ObjectId, 1:l, i:l\}\+\+
\\[0ex](${\it ds}$
\\[0ex],${\it da}$
\\[0ex],$a$
\\[0ex],${\it es}$
\\[0ex],es{-}loc(${\it es}$; $e_{1}$)
\\[0ex],$\lambda$$x$.$\ast$
\\[0ex],$\lambda$$x$,$y$. $\ast$
\\[0ex],$n$
\\[0ex],$e_{1}$
\\[0ex],$e_{2}$) of
\-\\[0ex]inl($x$) $\Rightarrow$ true$_{2}$
\\[0ex]inr($x$) $\Rightarrow$ false$_{2}$
\-
\end{tabbing}